Book Review: Introduction to mathematical logic.
نویسندگان
چکیده
منابع مشابه
Book Review: “Introduction to Artificial Life”
Despite the popularity of artificial life over the last 15 years or so, as witnessed by the establishment of several international conferences on the subject and the birth of the Artificial Life Journal and similar publications, there has been a conspicuous lack of decent introductory texts on the subject. Notable exceptions include “Artificial Life: An Introduction” (Langton 1995), an eclectic...
متن کاملBook Review: Mathematical Linguistics by Kornai, András
For readers of traditional textbooks such as that of Partee, ter Meulen, and Wall (1990), the term 'mathematical linguistics' denotes a rather narrowly circumscribed set of issues including automata theory, set theory, and lambda calculus, with maybe a little formal language theory thrown in. Kornai's contribution is refreshingly different in that he treats, in this relatively compact volume, p...
متن کاملBook Review Introduction to Concurrency in Programming Languages
Parallel programming is mainstream scientific programming. A desktop workstation can easily have hundreds of pipelines. An undergraduate course in, say, computational physics should introduce the student to parallel solutions. What issues arise in parallel programming that don’t arise in sequential programming? How are the issues treated? And what text to use to explain the differences? For bon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1945
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1945-08461-4